-
1 язык предикатов
-
2 язык предикатов
Information technology: predicate language -
3 язык предикатов
Русско-английский исловарь по машиностроению и автоматизации производства > язык предикатов
-
4 язык предикатов
Русско-английский словарь по вычислительной технике и программированию > язык предикатов
-
5 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
6 язык (программирования), основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык (программирования), основанный на логике предикатов
-
7 язык исчисления предикатов
Automation: predicate calculus languageУниверсальный русско-английский словарь > язык исчисления предикатов
-
8 язык основанный на логике предикатов
Mechanics: predicate logic languageУниверсальный русско-английский словарь > язык основанный на логике предикатов
-
9 язык программирования , основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык программирования , основанный на логике предикатов
-
10 язык, основанный на логике предикатов
1) Automation: predicate logic language (как функций нескольких переменных)Универсальный русско-английский словарь > язык, основанный на логике предикатов
-
11 язык , основанный на логике предикатов
Information technology: (программирования) predicate logic language, (программирования) predicate logic-based languageУниверсальный русско-английский словарь > язык , основанный на логике предикатов
-
12 язык исчисления предикатов
Русско-английский исловарь по машиностроению и автоматизации производства > язык исчисления предикатов
-
13 исчисление предикатов
Русско-английский новый политехнический словарь > исчисление предикатов
-
14 логика предикатов
Русско-английский словарь по информационным технологиям > логика предикатов
-
15 предикат
Синонимический ряд:сказуемого (сущ.) сказуемого -
16 предикат
Русско-английский словарь по информационным технологиям > предикат
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ЯЗЫК МОРАЛЬНЫЙ — Разрешая моральные проблемы, обосновывая свои нравственные требования, нормы, оценки, доказывая или опровергая те или иные положения при столкновении различных т. зр. по вопросам морали, люди. используют в общем одни и те. же понятия, несмотря на … Словарь по этике
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия
логика предикатов — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. Смотри… … Энциклопедический словарь
логика предикатов — ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… … Энциклопедия эпистемологии и философии науки
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
Ложбан язык — Ложбан Самоназвание: la lojban Создан: Группа Логического Языка на основе языка логлан Регулирующая организация: Группа Логического Языка Категория: Логический язык Классификаци … Википедия
ЛОГИКА ПРЕДИКАТОВ — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. См.… … Большой Энциклопедический словарь